Simplification techniques for maps in simplicial topology
نویسندگان
چکیده
This paper offers an algorithmic solution to the problem of obtaining “economical” formulae for some maps in Simplicial Topology, having, in principle, a high computational cost in their evaluation. In particular, maps of this kind are used for defining cohomology operations at the cochain level. As an example, we obtain an explicit combinatorial description of all Steenrod kth powers exclusively in terms of face operators.
منابع مشابه
Substructure Topology Preserving Simplification of Tetrahedral Meshes
Interdisciplinary efforts in modeling and simulating phenomena have led to complex multi-physics models involving different physical properties and materials in the same system. Within a 3d domain, substructures of lower dimensions appear at the interface between different materials. Correspondingly, an unstructured tetrahedral mesh used for such a simulation includes 2d and 1d substructures em...
متن کاملCombinatorial 2D Vector Field Topology Extraction and Simplification
This paper investigates a combinatorial approach to vector field topology. The theoretical basis is given by Robin Forman’s work on a combinatorial Morse theory for dynamical systems defined on general simplicial complexes. We formulate Forman’s theory in a graph theoretic setting and provide a simple algorithm for the construction and topological simplification of combinatorial vector fields o...
متن کاملAn introduction to simplicial sets
This is an elementary introduction to simplicial sets, which are generalizations of ∆-complexes from algebraic topology. The theory of simplicial sets provides a way to express homotopy and homology without requiring topology. This paper is meant to be accessible to anyone who has had experience with algebraic topology and has at least basic knowledge of category theory. An important part of si...
متن کاملA Criterion for Homotopic Maps to Be Dihomotopic
In an attempt to bootstrap classical homotopy theoretic tools into the world of abstract spacetime, we identify a criterion under which two maps of compact pospaces which are homotopic in the classical sense are also homotopic through monotone maps. As a corollary, we show that a hypercontinuous lattice equipped with its Lawson topology is contractible through monotone maps if its underlying sp...
متن کاملMagical Triangles
Simplicial complexes consist of a set of vertices together with designated subsets. They can be thought of as embedded in Rn with the induced metric and topology, where n is large enough that the points can all be geometrically independent. The sets of points spanned by these designated subsets then form triangles or their higher or lower dimensional analogues according to some restrictions. By...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 40 شماره
صفحات -
تاریخ انتشار 2005